#Thomas Zimmermann
#1:1311626 435217 508997 710910 509001 451025 981372 1256145 522924 521927 641672 1256174 84211 508982 1248524 465898 1322172 138995 1606051 363734 508946 710911 465896 138528 364928 601226 508968 1248517 583095 1179624 363476 508878 601589 552964 231780 1210480 1129938 488330 1202713 363477 521928 472061 139001 1179676 708138 508889 138998 579478 471426 508943 1210635 363725 1130107 601302 710982 471614 734670 508926 363503 1227475 138999 1311606 874200 1515583 1431394 364992
#!:48920